『Software Abstractions, revised edition』